תגית: בעיית SAT

3 פוסטים

• 2016-07-12

  ההוכחה הארוכה ביותר בהיסטוריה! (או: איך פותרי SAT מתגברים על בעיות קומבינטוריות, אבל היי זה שם פחות מפוצץ)

• 2014-02-03

  פותרים את SAT - אלגוריתם CDCL

• 2013-11-11

  מה זו בעיית SAT ולמה חשוב לפתור אותה?

← חזרה לכל התגיות